A Petri Net Approach to Fault Verification in Phased Mission Systems using the Standard Deviation Technique
نویسندگان
چکیده
منابع مشابه
High-level Petri Net Modelling of Phased Mission Systems
We propose a general methodology for the modelling and evaluation of phased mission systems, based on a Markov Regenerative Stochastic Petri Net approach. By exploiting the expressiveness and the representativity of MRSPN, we achieve a compact and neat modelling of even quite complex systems, relaxing many restrictive limitations of the other approaches appeared in the literature. Our approach ...
متن کاملSimplification of a Petri Net controller in industrial systems
This paper deals with the problem of forbidden states in discrete event systems modeled by Petri Net. To avoid the forbidden states, some constraints which are called Generalized Mutual Exclusion Constraints can be assigned to them. Enforcing these constraints on the system can be performed using control places. However, when the number of these constraints is large, a large number of control p...
متن کاملA Petri-net Model for Operational Cycle in SCADA Systems
Supervisory control and data acquisition (SCADA) system monitors and controls industrial processes in critical infrastructures (CIs) and plays the vital role in maintaining the reliability of CIs such as power, oil, and gas system. In fact, SCADA system refers to the set of control process, which measures and monitors sensors in remote substations from a control center. These sensors usually ha...
متن کاملfrom linguistics to literature: a linguistic approach to the study of linguistic deviations in the turkish divan of shahriar
chapter i provides an overview of structural linguistics and touches upon the saussurean dichotomies with the final goal of exploring their relevance to the stylistic studies of literature. to provide evidence for the singificance of the study, chapter ii deals with the controversial issue of linguistics and literature, and presents opposing views which, at the same time, have been central to t...
15 صفحه اولThe Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach
Having introduced a novel Petri net based method for the verification of Lotes specifications [Barb 90a], this paper demonstrates its practical interest. Contrary to other similar Petri net based techniques, our approach avoids to build the whole Petri net from the Lotos specification before verification. In contrast to finite automata based methods, our method can analyse Lotos systems with un...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quality and Reliability Engineering International
سال: 2012
ISSN: 0748-8017
DOI: 10.1002/qre.1478